Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
681	G2.2 FoF report parallel session - Pegman.ppt Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2011-07-26 05:59:17 Small and medium enterprises Boolean algebra Universal quantification
682	Sectionally complemented chopped lattices Add to Reading List Source URL: ftp.ktug.org Language: English - Date: 2006-04-03 06:17:06 Lie groups Lattice theory Algebraic structures Ergodic theory Lattice Boolean algebra Congruence relation Congruence lattice problem Abstract algebra Mathematics Algebra
683	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
684	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ftp.heanet.ie Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
685	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
686	SUPPLEMENTARY INFORMATION doi: [removed]nature06451 Supplementary Information Add to Reading List Source URL: piercelab.caltech.edu Language: English - Date: 2010-09-08 02:56:25 Boolean algebra Two-port network Artificial neuron Mathematics Functions and mappings Function
687	TREC-2006 at Maryland: Blog, Enterprise, Legal and QA Tracks Douglas Oard,§∗ Tamer Elsayed,† Jianqiang Wang,‡ Yejun Wu,§ Pengyi Zhang,§ Eileen Abels,¶ Jimmy Lin,§∗ and Dagbert Soergel§ University of Marylan Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2007-02-16 13:07:50 Vector space model Search engine indexing Search engine Document classification Boolean algebra Concept Search Document retrieval Information science Information retrieval Relevance
688	NuSMV 2.4 User Manual Roberto Cavada, Alessandro Cimatti, Charles Arthur Jochim, Gavin Keighren, Emanuele Olivetti, Marco Pistore, Marco Roveri and Andrei Tchaltsev Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2007-04-06 08:45:07 Programming language theory Type theory Enumerated type NuSMV Type system Boolean data type C Pascal Boolean algebra Data types Computing Software engineering
689	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-10-15 03:54:42 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
690	Run Descriptions: TREC 2008 Legal Track, Ad Hoc Task (Revised Feb[removed]to correct the full name for CNIPA and the field list for the wat2text run.) Run uvabase (University of Amsterdam (Kamps)) Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2009-03-18 11:26:39 Indexing Search engine indexing Searching Ada Boolean algebra Natural language processing Information science Computing Information retrieval

UPDATE